Forgetting for Knowledge Bases in DL-Litebool
نویسندگان
چکیده
We address the problem of term elimination in DLLite ontologies by adopting techniques from classical forgetting theory. Specifically, we generalize our previous results on forgetting in DL-Litecore TBox to forgetting in DL-Litebool KBs. We also introduce query-based forgetting, a parameterized definition of forgetting, which provides a unifying framework for defining and comparing different definitions of forgetting in DL-Lite ontologies.
منابع مشابه
Circumscribing DL-Lite
Classical logics (and hence Description Logics) are monotonic: the set of conclusions increases monotonically with the set of premises. Instead, common-sense reasoning is characterized as non-monotonic: new information can invalidate some of the previously made conclusions. Circumscription is one of the main nonmonotonic formalisms whose idea is to minimize (circumscribe) the extension of given...
متن کاملReasoning about Belief Uncertainty in DL Lite N bool
Dealing with uncertainty is a very important issue in description logics (DLs). In this paper, we present PrDL‐ Litebool N a new probabilistic extension of DL‐ Litebool N , known as a very expressive DL‐Lite, by supporting the belief degree interval in a single axiom or a set of axioms connected with conjunction (by ∧) or disjunction (by ∨) operators. The PrDL‐ Litebool N semantics is based on ...
متن کاملA New DL-Lite N Bool Probabilistic Extension Using Belief
Dealing with uncertainty is a very important issue in description logics (DLs). In this paper, we present PrDL‐ Litebool N a new probabilistic extension of DL‐ Litebool N by supporting the belief interval in a single axiom or a set of axioms connected with conjunction (by ∧ ) or disjunction (by ∨ ) operators. The PrDL‐ Litebool N semantics is based on DL‐ Litebool N features which are a new alt...
متن کاملConcept and Role Forgetting in ALC Ontologies
Forgetting is an important tool for reducing ontologies by eliminating some concepts and roles while preserving sound and complete reasoning. Attempts have previously been made to address the problem of forgetting in relatively simple description logics (DLs) such as DL-Lite and extended EL . The ontologies used in these attempts were mostly restricted to TBoxes rather than general knowledge ba...
متن کاملConcept and Role Forgetting in ALC Ontologies
Forgetting is a useful tool for tailoring ontologies by reducing the number of concepts and roles, while preserving sound and complete reasoning. Some attempts have been made to address the problem of forgetting in some relatively simple description logics (DLs) such as DL-Lite and extended EL . Ontologies in those works are mostly expressed as TBoxes rather than general knowledge bases (KBs). ...
متن کامل